$\forall$$A$:Type, $l$:IdLnk, ${\it tg}$:Id, $I$:MaInterface($A$).
\\[0ex]($\neg$(${\it tg}$ $\in$ ma{-}interface{-}tags($I$)))
\\[0ex]$\Rightarrow$ Normal($A$,$I$)
\\[0ex]$\Rightarrow$ (source($l$) $\in$ ma{-}interface{-}locs($I$))
\\[0ex]$\Rightarrow$ R{-}Feasible(triggersGlue($A$; $l$; ${\it tg}$; ma{-}interface{-}ds($I$;source($l$)); ($I$(source($l$)).2)))